$\forall$$a$:Atom1, $q$:$\mathbb{Q}$. $q$:$\mathbb{Q}\parallel$$a$